- ограниченный квантор
- bounded quantifier
Русско-английский словарь по вычислительной технике и программированию . 2013.
ограниченный квантор
Look at other dictionaries:
ОГРАНИЧЕННЫЙ КВАНТОР — квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек рым предикатом R(х). При использовании в качестве О. к. всеобщности квантор и существования квантор… … Математическая энциклопедия
Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… … Большая советская энциклопедия
